Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Java (Computer program language) --- 681.3*D1 --- 681.3*D32 --- 681.3*D3 --- Java --- internet --- Object-oriented programming languages --- JavaSpaces technology --- Programming techniques--See also {681.3*E} --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Programming languages --- Java (Computer program language). --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*D3 Programming languages --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Libraries --- Library & Information Science --- Social Sciences --- Documentation --- Public institutions --- Librarians --- Management --- Data processing --- 023 --- 025:681.3 --- 025 --- Data processing&delete& --- Bibliotheekpersoneel --- Bibliotheekautomatisering --- Bibliotheekbeheer --- 025 Bibliotheekbeheer --- 025:681.3 Bibliotheekautomatisering --- 023 Bibliotheekpersoneel --- Management.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence.

Logic programming. --- Computer programming --- 681.3*I2 --- 681.3*I23 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- Logic programming --- Artificial intelligence --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Knowledge, Theory of. --- Théorie de la connaissance. --- Informatique --- Computer science --- Logique mathématique --- Logique non monotone --- Nonmonotonic reasoning --- Artificial intelligence. --- Logic, Symbolic and mathematical. --- Théorie de la connaissance --- Computer science. --- Logique mathématique. --- Logique générale --- Epistemologie --- Logique modale --- Knowledge representation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Abstracts and full-text, 1997- ; free access to abstracts, 1996-

Molecular biology --- Computer. Automation --- Genomes --- Life sciences --- Génomes --- Sciences de la vie --- Data processing --- Periodicals --- Informatique --- Périodiques --- Computational Biology. --- Genome. --- Data processing. --- 681.3*J3 --- 57 --- 57.087 --- Life and medical sciences (Computer applications) --- Biological sciences in general --- Methods and techniques for parameter estimation. Recording of biological data. Bioinformatics --- Computational Biology --- Genome --- Information Technology --- Computational Biosciences --- Bioinformatics --- Biophysics --- Life Sciences --- Biology --- Information Technology. --- Computational Biosciences. --- Life Sciences. --- 681.3*J3 Life and medical sciences (Computer applications) --- Génomes --- Périodiques --- EJBIOMO EPUB-ALPHA-B EPUB-PER-FT OXFUNIPRE-E --- BIOINFORMATICS --- Genes --- Proteome --- Bio-Informatics --- Biology, Computational --- Computational Molecular Biology --- Molecular Biology, Computational --- Bio Informatics --- Bio-Informatic --- Bioinformatic --- Biologies, Computational Molecular --- Biology, Computational Molecular --- Computational Molecular Biologies --- Molecular Biologies, Computational --- Computational Chemistry --- Genomics --- Genetics --- Haploidy --- Biosciences --- Sciences, Life --- Science --- Bio-informatique. --- Génomes. --- Biologie. --- Informatietechnologie.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

netwerken (informatica) --- TCP/IP (transmission control protocol/internet protocol) --- Computer architecture. Operating systems --- TCP/IP (Computer network protocol) --- TCP/IP (Computernetwerken--Protocollen) --- TCP/IP (Réseaux d'ordinateurs--Protocols) --- UNIX (Computer file) --- UNIX (Computerbestand) --- UNIX (Fichier d'ordinateur) --- TCP/IP (Protocole de réseaux d'ordinateurs) --- 681.3*C20 --- 681.324 --- Computernetwerken (Netwerken informatica) --- Internet (e-mail, website) --- TCP/IP --- Unix --- Computerwetenschap--?*C20 --- TCP/IP (Protocole de réseaux d'ordinateurs) --- 6813*C20